Finite model theory - PDFSEARCH.IO - Document Search Engine

Finite model theory
Results: 870

#	Item
461	14 Vittorio: Riccardo: Sergio: Riccardo: Vittorio: Add to Reading List Source URL: webdam.inria.fr Language: English - Date: 2010-02-12 06:45:46 Relational model Lambda calculus Formal methods FO Finite model theory Relational algebra Fixed-point combinator Modal logic Theoretical computer science Applied mathematics Mathematical logic
462	17 First Order, Fixpoint, and While Alice: Add to Reading List Source URL: webdam.inria.fr Language: English - Date: 2010-02-12 06:45:46 Finite model theory FO Query
463	18 Alice: Riccardo: Sergio: Vittorio: Add to Reading List Source URL: webdam.inria.fr Language: English - Date: 2010-02-12 06:45:47 Finite model theory Mathematical logic Enumerated type Enumeration Mathematics Theoretical computer science FO
464	Katz’s Legislative Agenda 3have Lowering your taxes so that you can Add to Reading List Source URL: assembly.state.ny.us Language: English - Date: 2013-03-07 10:33:32 Classical cipher FO Finite model theory Amaimon language
465	Figure 6. The Coastal Boundary in St. Louis and Carlton Counties, Minnesota Babbitt Add to Reading List Source URL: files.dnr.state.mn.us Language: English - Date: 2004-12-18 09:08:49 Area code 218 FO Finite model theory Trunk road
466	2005 Farmgate Values and First Handler Value Added EC 1612-E • September[removed]Fo IS Add to Reading List Source URL: ir.library.oregonstate.edu Language: English - Date: 2014-07-15 14:51:06 Commodity Wheat Farmgate Futures contract Agriculture Marxist theory FO Finite model theory
467	A Regional Hydrologic Model of California’s Central Valley Land Subsidence Attributes for CVHM Add to Reading List Source URL: ca.water.usgs.gov Language: English - Date: 2012-03-13 19:30:50 Computational complexity theory Descriptive complexity Mathematics Geology FO Subsidence SO Consolidation HO Finite model theory Applied mathematics Soil mechanics
468	PDF Document Add to Reading List Source URL: www.blm.gov Language: English - Date: 2014-10-28 05:34:35 SO Kemmerer Municipal Airport Pinedale Finite model theory Mathematics FO
469	PDF Document Add to Reading List Source URL: www.blm.gov Language: English - Date: 2014-10-28 05:10:23 SO Finite model theory Mathematics FO
470	P A R T E Expressiveness and Complexity Add to Reading List Source URL: webdam.inria.fr Language: English - Date: 2010-02-12 06:45:46 Complexity classes Finite model theory Descriptive complexity Query FO L Relational model Reduction Conjunctive query Theoretical computer science Applied mathematics Computational complexity theory

UPDATE